Wyniki
-
Thing, name, number
L. Cumming
Bulletin of the Section of Logic , 6 /3 (1977) -
On the decidability of a system of dialectical propositional logic
Elias H. Alves
Bulletin of the Section of Logic , 7 /4 (1978) s. 179-184 -
Possible worlds and many truth values
S. H. Thomason
Bulletin of the Section of Logic , 6 /3 (1977) s. 107-111 -
The first axiomatization of a paraconsistent logic
Elias H. Alves
Bulletin of the Section of Logic , 21 /1 (1992) s. 19-20 -
Common Knowledge, Common Attitudes, and Social Reasoning
Richmond H. Thomason
Bulletin of the Section of Logic , 50 /2 (2021) s. 229-247 -
A theorem on well-finite standard consequence operation
Stephen L. Bloom
Bulletin of the Section of Logic , 2 /3 (1973) s. 159-163 -
A represantation theorem of standard consequence operation
Stephen L. Bloom
Bulletin of the Section of Logic , 4 /2 (1975) s. 52-55 -
An alternative account of bringing about : with a pinch of relevance
I. L. Humberstone
Bulletin of the Section of Logic , 6 /3 (1977) -
From Ternary to Tetrary?
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 23 /4 (1994) s. 163-167 -
Implicative logics in categories
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 26 /4 (1997) s. 188-192 -
Implicative logics, sequential deductive systems and exponential multicategories
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 13-25 -
The bibinary semantics for R and Lω
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 15 /3 (1986) s. 109-114 -
T-F-toposes for Lukasiewicz's infinite-valued logics
Vladimir L. Vasyukov
Bulletin of the Section of Logic , 17 /3-4 (1988) s. 182-187 -
The structure of type theory
S. H. Voss, C. Sayword
Bulletin of the Section of Logic , 6 /3 (1977) -
Ultraproducts of SCI
Stephen L. Bloom, Roman Suszko
Bulletin of the Section of Logic , 4 /1 (1975) s. 9-12 -
On the Injectivity of the Leibniz Operator
L. Descalco, Manuel A. Martins
Bulletin of the Section of Logic , 34 /4 (2005) s. 203-211 -
Some remarks on the logic of vagueness
Ayda I. Arruda, Elias H. Alves
Bulletin of the Section of Logic , 8 /3 (1979) s. 133-138 -
A semantical study of some systems of vagueness logic
Ayda I. Arruda, Elias H. Alves
Bulletin of the Section of Logic , 8 /3 (1979) s. 139-144 -
On the equivalence between two systems of paraconsistent logic
Antonio M. Sette, Elias H. Alves
Bulletin of the Section of Logic , 24 /3 (1995) s. 155-157 -
On the equivalence between some systems of non-classical logic
Antonio M. Sette, Elias H. Alves
Bulletin of the Section of Logic , 25 /2 (1996) s. 68-72